\begin{tabbing}
write{-}restricted($R$; $i$; $k$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es\_realizer\_ind(\=$R$;\+
\\[0ex]ff;
\\[0ex]${\it left}$,${\it right}$,${\it rec}_{1}$,${\it rec}_{2}$.bor(${\it rec}_{1}$; ${\it rec}_{2}$);
\\[0ex]${\it loc}$,$T$,$x$,$v$.ff;
\\[0ex]${\it loc}$,$T$,$x$,$L$.ff;
\\[0ex]${\it lnk}$,${\it tag}$,$L$.ff;
\\[0ex]${\it loc}$,${\it ds}$,${\it knd}$,$T$,$x$,$f$.ff;
\\[0ex]${\it ds}$,${\it knd}$,$T$,$l$,${\it dt}$,$g$.ff;
\\[0ex]${\it loc}$,${\it ds}$,$a$,$T$,$P$.ff;
\\[0ex]${\it loc}$,$k_{1}$,$L$.band(eq\_id(${\it loc}$; $i$); eq\_knd($k_{1}$; $k$));
\\[0ex]${\it loc}$,$k_{1}$,$L$.ff;
\\[0ex]${\it loc}$,$x$,$L$.ff)
\-
\end{tabbing}